This paper explores the critical conditions of such semiotic realism that is commonly presumed in the so-called Copenhagen interpretation of biosemiotics. The central task is to make basic biosemiotic concepts as clear as possible by applying C.S. Peirce’s pragmaticist methodology to his own concepts, especially to those that have had a strong influence on the Copenhagian biosemiotics. It appears essential to study what kinds of observation the basic semiotic concepts are derived from. Peirce had two different derivations to the concept (...) of sign, both having a strong logical character. Therefore, it is discussed at length what Peirce’s conception of logic consists of and how logical concepts relate to the concepts of other sciences. It is shown that Peirce had two different perspectives toward sign, the ‘transcendental’ one and the objective one, and only the latter one is executable in biosemiotic applications. Although Peirce’ theory of signs seems to appear as twofold (if not even manifold), it is concluded that the ore conception has been stable. The apparent differences are presumably due to the different perspectives of consideration. Severe limitations for the application of Peirce’s semiotic concepts follow from this analysis that should be taken into account in biosemiotics relying on its Copenhagen interpretation. The first one concerns the ‘interpreter’ of a suggested biosemiotic sign — whether it is ‘we’ (as a ‘meta-agent’) or some genuine biosemiotic ‘object-agent’. Only if the latter one is determinable, some real biosemiotic sign-action may occur. The second one concerns the application of the concept of the object of sign — its use is limited so that a sign has an object if and only if it seeks a true conception about it. This conclusion has drastic further consequences. Most of the genuinely biosemiotic sign-processes do not tend toward truth about anything but toward various practical ends. Therefore, the logical concept of sign, e.g. the one of Peirce’s semeiotic, is an insufficient concept for biosemiotics. In order to establish a sufficient one, Peircean theoretical ethics and esthetics are introduced. It is concluded that they involve simpler and more general but still normative concept of sign — the concept of anticipative or constructive representation that does not represent any object at all. Instead, it is a completely future-oriented representation that guides action. Objective ethics provides the suitable concept of representation, but it appeals to objective esthetics that provides a theory of (local) natural self-normativity. The concepts of objective logic form the special species of objective ethics. The conclusion is that biosemiotics should be based on applied objective ethics and esthetics rather than on (Peircean semeiotic) logic and its metaphysical application. Finally, the physiosemiotic over-generalization of the concept of sign is shortly discussed. It is suggested that it would be more appropriate to rename such controversial generalizations than to adhere to semiotic terminology. Here, again, Peirce appears as a healthy role model with his ‘ethics of terminology’. (shrink)

We submit this brief in support of the Nonhuman Rights Project’s efforts to secure habeas corpus relief for the elephant named Happy. The Supreme Court, Bronx County, declined to grant habeas corpus relief and order Happy’s transfer to an elephant sanctuary, relying, in part, on previous decisions that denied habeas relief for the NhRP’s chimpanzee clients, Kiko and Tommy. Those decisions use incompatible conceptions of ‘person’ which, when properly understood, are either philosophically inadequate or, in fact, compatible with Happy’s (...) personhood. (shrink)

Drawing on the writings of the Jewish thinker, Abraham Joshua Heschel, I defend a partial response to the problem of divine hiddenness. A Jewish approach to divine love includes the thought that God desires meaningful relationship not only with individual persons, but also with communities of persons. In combination with John Schellenberg’s account of divine love, the admission of God’s desire for such relationships makes possible that a person may fail to believe that God exists not because of any individual (...) failing, but because the individual is a member of a larger community that itself is culpable. (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

This article develops a detailed, empirically driven analysis of the nature of the transition costs incurred in becoming disabled. Our analysis of the complex nature of these costs supports the claim that it can be wrong to cause disability, even if disability is just one way of being different. We also argue that close attention to the nature of transition costs gives us reason to doubt that well-being, including transitory impacts on well-being, is the only thing that should determine the (...) wrongness of causing or removing disability. Non-welfare considerations also defeat the claim that it is always wrong to cause disability. The upshot of these conclusions is that closer attention to the nature of transition costs supports disabled people who strenuously contest the assumption that their well-being is lower than nondisabled people. It also suggests that, in addition, disabled people should contest their opponents’ narrow account of how we should make ethical decisions regarding causing or failing to prevent disability. (shrink)

Mental accounting is a concept associated with the work of Richard Thaler. According to Thaler, people think of value in relative rather than absolute terms. They derive pleasure not just from an object’s value, but also the quality of the deal – its transaction utility (Thaler, 1985). In addition, humans often fail to fully consider opportunity costs (tradeoffs) and are susceptible to the sunk cost fallacy. Why are people willing to spend more when they pay with a credit card than (...) cash (Prelec & Simester, 2001)? Why would more individuals spend $10 on a theater ticket if they had just lost a $10 bill than if they had to replace a lost ticket worth $10 (Kahneman & Tversky, 1984)? Why are people more likely to spend a small inheritance and invest a large one (Thaler, 1985)? According to the theory of mental accounting, people treat money differently, depending on factors such as the money’s origin and intended use, rather than thinking of it in terms of the “bottom line” as in formal accounting (Thaler, 1999). An important term underlying the theory is fungibility, the fact that all money is interchangable and has no labels. In mental accounting, people treat assets as less fungible than they really are. Even seasoned investors are susceptible to this bias when they view recent gains as disposable “house money” (Thaler & Johnson, 1990) that can be used in high-risk investments. In doing so, they make decisions on each mental account separately, losing out the big picture of the portfolio. (See also partitioning and pain of paying for ideas related to mental accounting.) . (shrink)

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Some authors have recently suggested that it is time to consider rights for robots. These suggestions are based on the claim that the question of robot rights should not depend on a standard set of conditions for ‘moral status’; but instead, the question is to be framed in a new way, by rejecting the is/ought distinction, making a relational turn, or assuming a methodological behaviourism. We try to clarify these suggestions and to show their highly problematic consequences. While we find (...) the suggestions ultimately unmotivated, the discussion shows that our epistemic condition with respect to the moral status of others does raise problems, and that the human tendency to empathise with things that do not have moral status should be taken seriously—we suggest that it produces a “derived moral status”. Finally, it turns out that there is typically no individual in real AI that could even be said to be the bearer of moral status. Overall, there is no reason to think that robot rights are an issue now. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is correct, they cannot be (...) joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

Digital ethics, also known as computer ethics or information ethics, is now a lively field that draws a lot of attention, but how did it come about and what were the developments that lead to its existence? What are the traditions, the concerns, the technological and social developments that pushed digital ethics? How did ethical issues change with digitalisation of human life? How did the traditional discipline of philosophy respond? The article provides an overview, proposing historical epochs: ‘pre-modernity’ prior to (...) digital computation over data, via the ‘modernity’ of digital data processing to our present ‘post-modernity’ when not only the data is digital, but our lives themselves are largely digital. In each section, the situation in technology and society is sketched, and then the developments in digital ethics are explained. Finally, a brief outlook is provided. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

Neo-Humean instrumentalist theories of reasons for acting have been presented with a dilemma: either they are normatively trivial and, hence, inadequate as a normative theory or they covertly commit themselves to a noninstrumentalist normative principle. The claimed result is that no purely instrumentalist theory of reasons for acting can be normatively adequate. This dilemma dissolves when we understand what question neo-Humean instrumentalists are addressing. The dilemma presupposes that neo-Humeans are attempting to address the question of how to act, 'simpliciter'. Instead, (...) they are evaluating actions from the agent's normative perspective. (shrink)

Many of us are unmoved when it is objected that some morally or intellectually suspect source agrees with our belief. While we may tend to find this kind of guilt by epistemic association unproblematic, I argue that this tendency is a mistake. We sometimes face what I call the problem of unwelcome epistemic company. This is the problem of encountering agreement about the content of your belief from a source whose faults give you reason to worry about the belief's truth, (...) normative status, etiology, or implications. On the basis of an array of cases, I elaborate four distinct kinds of problems that unwelcome epistemic company poses. Two of these are distinctly epistemic, and two are moral. I canvass possible responses, ranging from stubbornness to an epistemic prudishness that avoids unwelcome company at all costs. Finally, I offer preliminary lessons of the problem and distinguish it from the problem of peer disagreement. (shrink)

Any attempt to develop biosemiotics either towards a new biological ground theory or towards a metaphysics of living nature necessitates some kind of naturalization of its semiotic concepts. Instead of standard physicalistic naturalism, a certain kind of semiotic naturalism is pursued here. The naturalized concepts are defined as referring only to the objects of our external experience. When the semiotic concepts are applied to natural phenomena in biosemiotics, there is a risk of falling into anthropomorphic errors if the semiotic concepts (...) remain mentalistic. It is suggested that there really is an anthropomorphic error or “hidden prototype fallacy” arising from Peirce’s prototype for semiosis: the research process of an experimental scientist. The fallacy lies in the concept of the object of representation — it is questionable whether there are any objects of representation for bacteria and whether the DNA-signs have any objects. The conclusion is that Peircean semiotic concepts are naturalizable but only if they are based on some more primitive concept of representation. The causal origins of representations are not relevant, only their anticipative consequences (i.e. meaning). (shrink)

Theories of explanation need to account for a puzzling feature of our explanatory practices: the fact that we prefer explanations that are relatively abstract but only moderately so. Contra Franklin-Hall ([2016]), I argue that the interventionist account of explanation provides a natural and elegant explanation of this fact. By striking the right balance between specificity and generality, moderately abstract explanations optimally subserve what interventionists regard as the goal of explanation, namely identifying possible interventions that would have changed the explanandum.

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

This paper defends pro-realism, the view that it is better if moral realism is true rather than any of its rivals. After offering an account of philosophical angst, I make three general arguments. The first targets nihilism: in securing the possibility of moral justification and vindication in objecting to certain harms, moral realism secures something that is non-morally valuable and even essential to the meaning and intelligibility of our lives. The second argument targets antirealism: moral realism secures a desirable independence (...) for moral justification that is qualitatively different from the anti-realistic construal of independence that is only explicable in terms of degrees of distance from our subjective responses and attitudes. Finally, I argue that while the pan-expressivist semantic program of quasi-realism has significant effects on what can be appropriately said in meta-ethical discourse, it provides no comfort to the pro-realist who is already angsty about anti-realism. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

There is widespread consensus that present patterns of consumption could lead to the permanent impossibility of maintaining those patterns and, perhaps, the existence of the human race. While many patterns of consumption qualify as ‘sustainable’ there is one in particular that deserves greater attention: virtual consumption. We argue that virtual consumption — the experience of authentic consumptive experiences replicated by alternative means — has the potential to reduce the deleterious consequences of real consumption by redirecting some consumptive behavior from shifting (...) material states to shifting information states. (shrink)

Intersectionality has utilized various feminist theories that continue subculture of violence thinking about Black men and boys. While intersectional feminists often claim that intersectionality leads to a clearer social analysis of power and hierarchies throughout society and within groups, the categories and claims of intersectionality fail to distinguish themselves from previously racist theories that sought to explain race, class, and gender, based on subcultural values. This article is the first to interrogate the theories used to construct the gendered categories and (...) the assumptions behind Black male positionality under intersectional analyses. Contrary to its promises for more liberated Black identities, intersectionality merely replicates the pseudo-science of racist criminology and presents decades old theories as cutting-edge gender analyses. In short, while intersectionality has allowed Black women to create nuanced experiences and epistemological accounts of Black womanhood, the very same theory has confined Black male experience to the perpetration of violence and defined Black manhood as lesser—merely the exemplification of white masculinity’s pathological excess. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of artificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understanding of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

Much recent work on explanation in the interventionist tradition emphasizes the explanatory value of stable causal generalizations—i.e., causal generalizations that remain true in a wide range of background circumstances. We argue that two separate explanatory virtues are lumped together under the heading of `stability’. We call these two virtues breadth and guidance respectively. In our view, these two virtues are importantly distinct, but this fact is neglected or at least under-appreciated in the literature on stability. We argue that an adequate (...) theory of explanatory goodness should recognize breadth and guidance as distinct virtues, as breadth and guidance track different ideals of explanation, satisfy different cognitive and pragmatic ends, and play different theoretical roles in helping us understand the explanatory value of mechanisms. Thus keeping track of the distinction between these two forms of stability yields a more accurate and perspicuous picture of the role that stability considerations play in explanation. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

In a previous volume of Ethical Theory & Moral Practice, Melis Erdur defends the provocative claim that postulating a stance-independent ground for morality constitutes a substantive moral mistake that is isomorphic to the substantive moral mistake that many realists attribute to antirealists. In this discussion paper I reconstruct Erdur’s argument and raise two objections to the general framework in which it arises. I close by explaining why rejecting Erdur’s approach doesn’t preclude normative criticism of metaethical theories.

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

Intuitions play an important role in the debate on the causal status of high‐level properties. For instance, Kim has claimed that his “exclusion argument” relies on “a perfectly intuitive … understanding of the causal relation.” We report the results of three experiments examining whether laypeople really have the relevant intuitions. We find little support for Kim's view and the principles on which it relies. Instead, we find that laypeople are willing to count both a multiply realized property and its realizers (...) as causes, and regard the systematic overdetermination implied by this view as unproblematic. (shrink)

Many advocate practices of ‘local food’ or ‘locavorism’ as a partial solution to the injustices and unsustainability of contemporary food systems. I think that there is much to be said in favor of local food movements, but these virtues are insufficient to immunize locavorism from criticism. In particular, three duties of international ethics—beneficence, repair and fairness—may provide reasons for constraining the developed world’s permissible pursuit of local food. A complete account of why (and how) the fulfillment of these duties constrains (...) locavorism will require extensive empirical evidence about the relationship between agricultural demand-led industrialization, international trade (rules), and local food practices. In this paper I can only gesture at some of this evidence and, for that reason, my policy prescriptions are merely provisional. Instead, the upshot of this paper is that advocates of locavorism ought to be attentive to the empirical-dependence of the moral permissibility of their projects. As local food ‘scales up’—and comes to be embraced as a goal of political communities—these concerns should receive even greater attention. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

Artificial intelligence (AI) is a digital technology that will be of major importance for the development of humanity in the near future. AI has raised fundamental questions about what we should do with such systems, what the systems themselves should do, what risks they involve and how we can control these. - After the background to the field (1), this article introduces the main debates (2), first on ethical issues that arise with AI systems as objects, i.e. tools made and (...) used by humans; here, the main sections are privacy (2.1), manipulation (2.2), opacity (2.3), bias (2.4), autonomy & responsibility (2.6) and the singularity (2.7). Then we look at AI systems as subjects, i.e. when ethics is for the AI systems themselves in machine ethics (2.8.) and artificial moral agency (2.9). Finally we look at future developments and the concept of AI (3). For each section within these themes, we provide a general explanation of the ethical issues, we outline existing positions and arguments, then we analyse how this plays out with current technologies and finally what policy conse-quences may be drawn. (shrink)

Skeptics of the moral case against industrial farming often assert that harm to animals in industrial systems is limited to isolated instances of abuse that do not reflect standard practice and thus do not merit criticism of the industry at large. I argue that even if skeptics are correct that abuse is the exception rather than the rule, they must still answer for two additional varieties of serious harm to animals that are pervasive in industrial systems: procedural harm and institutional (...) oppression. That procedural and institutional harms create conditions under which abuse is virtually inevitable only increases the skeptic's burden. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Proponents of IBE claim that the ability of a hypothesis to explain a range of phenomena in a unifying way contributes to the hypothesis’s credibility in light of these phenomena. I propose a Bayesian justification of this claim that reveals a hitherto unnoticed role for explanatory unification in evaluating the plausibility of a hypothesis: considerations of explanatory unification enter into the determination of a hypothesis’s prior by affecting its ‘explanatory coherence’, that is, the extent to which the hypothesis offers mutually (...) cohesive explanations of various phenomena. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

International regulation of autonomous weapon systems (AWS) is increasingly conceived as an exercise in risk management. This requires a shared approach for assessing the risks of AWS. This paper presents a structured approach to risk assessment and regulation for AWS, adapting a qualitative framework inspired by the Intergovernmental Panel on Climate Change (IPCC). It examines the interactions among key risk factors—determinants, drivers, and types—to evaluate the risk magnitude of AWS and establish risk tolerance thresholds through a risk matrix informed by (...) background knowledge of event likelihood and severity. Further, it proposes a methodology to assess community risk appetite, emphasizing that such assessments and resulting tolerance levels should be determined through deliberation in a multistakeholder forum. The paper highlights the complexities of applying risk-based regulations to AWS internationally, particularly the challenge of defining a global community for risk assessment and regulatory legitimization. (shrink)